monoidmap-aeson-0.0.0.1: golden/MonoidMap [Int] (Set Natural).json

{
    "samples": [
        [
            [
                [
                    -14,
                    9
                ],
                [
                    4,
                    7,
                    9,
                    13,
                    14
                ]
            ],
            [
                [
                    -12,
                    -1,
                    -7,
                    -9,
                    -5,
                    14,
                    5,
                    11,
                    -6,
                    3,
                    8,
                    -5,
                    8
                ],
                [
                    1,
                    7,
                    8,
                    9,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    -4,
                    10
                ],
                [
                    4,
                    6,
                    9,
                    10,
                    11,
                    12,
                    13
                ]
            ],
            [
                [
                    2,
                    -11,
                    -7,
                    8,
                    5,
                    -13,
                    -13,
                    -6,
                    8,
                    -6,
                    8,
                    3,
                    -14,
                    1
                ],
                [
                    0,
                    1,
                    2,
                    8,
                    10,
                    12,
                    14
                ]
            ],
            [
                [
                    8
                ],
                [
                    0,
                    3,
                    5,
                    7,
                    9,
                    11,
                    12,
                    14
                ]
            ]
        ],
        [
            [
                [
                    -14,
                    2
                ],
                [
                    1,
                    7,
                    8,
                    9,
                    11,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    -13
                ],
                [
                    1,
                    3,
                    5,
                    7,
                    8,
                    9,
                    10,
                    11,
                    13
                ]
            ],
            [
                [
                    -9,
                    -4,
                    -10,
                    -11
                ],
                [
                    0,
                    4,
                    5,
                    6,
                    8,
                    10,
                    11,
                    13
                ]
            ],
            [
                [
                    -4,
                    6,
                    8,
                    -2,
                    9,
                    11,
                    -3,
                    9,
                    13,
                    7,
                    13,
                    -7
                ],
                [
                    0,
                    2,
                    3,
                    6,
                    7,
                    8,
                    9,
                    11
                ]
            ],
            [
                [
                    2,
                    -9,
                    12,
                    -1,
                    8,
                    -5,
                    -6,
                    -10,
                    -5,
                    -7,
                    -8,
                    14
                ],
                [
                    2,
                    3,
                    4,
                    5,
                    6,
                    7,
                    8,
                    9,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    2,
                    4,
                    5,
                    -12,
                    1,
                    6,
                    -3,
                    -13,
                    7,
                    10,
                    -11,
                    3,
                    -1
                ],
                [
                    0,
                    3,
                    4,
                    5,
                    8,
                    9,
                    11,
                    12,
                    13
                ]
            ],
            [
                [
                    6
                ],
                [
                    0,
                    1,
                    3,
                    5,
                    6,
                    8,
                    12,
                    13
                ]
            ],
            [
                [
                    6,
                    12,
                    14,
                    -14,
                    8,
                    -6,
                    -13,
                    -11,
                    2,
                    -10
                ],
                [
                    0,
                    5,
                    7,
                    8,
                    9,
                    12,
                    14
                ]
            ],
            [
                [
                    8,
                    -1,
                    -9,
                    6,
                    -13,
                    6,
                    -11,
                    8,
                    -1,
                    4,
                    8,
                    -9,
                    7
                ],
                [
                    0,
                    1,
                    2,
                    4,
                    8,
                    10,
                    11,
                    12
                ]
            ],
            [
                [
                    9,
                    13,
                    -4,
                    -3,
                    4,
                    12,
                    -14,
                    13,
                    -5,
                    12,
                    10
                ],
                [
                    4,
                    7,
                    9,
                    14
                ]
            ]
        ],
        [
            [
                [],
                [
                    0,
                    1,
                    2,
                    3,
                    4,
                    6,
                    7,
                    9,
                    10,
                    11,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    -1,
                    -3
                ],
                [
                    4,
                    5,
                    7,
                    9,
                    12
                ]
            ],
            [
                [
                    5,
                    11,
                    -7,
                    -8,
                    12
                ],
                [
                    2,
                    5,
                    7
                ]
            ],
            [
                [
                    12,
                    -6,
                    14,
                    9,
                    -3,
                    3,
                    1
                ],
                [
                    3,
                    5,
                    8,
                    12,
                    13
                ]
            ]
        ],
        [
            [
                [
                    -12,
                    -4,
                    2,
                    -7,
                    11,
                    5,
                    9,
                    3,
                    -7
                ],
                [
                    0
                ]
            ],
            [
                [
                    -10,
                    -7,
                    -10
                ],
                [
                    1,
                    3,
                    7,
                    8,
                    9,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    -8,
                    14,
                    -12,
                    10,
                    2,
                    8,
                    7,
                    -13,
                    8,
                    6,
                    10,
                    -4,
                    -10
                ],
                [
                    3
                ]
            ],
            [
                [
                    2,
                    -9,
                    -13
                ],
                [
                    0,
                    1,
                    2,
                    13,
                    14
                ]
            ],
            [
                [
                    2,
                    7,
                    -5
                ],
                [
                    5,
                    7,
                    8,
                    10,
                    13
                ]
            ],
            [
                [
                    4,
                    3,
                    14,
                    -11,
                    -4,
                    0,
                    12,
                    -2,
                    7,
                    8,
                    1,
                    -2,
                    -6,
                    -8
                ],
                [
                    3,
                    5,
                    8,
                    11,
                    13
                ]
            ],
            [
                [
                    13,
                    10,
                    6,
                    7,
                    2,
                    9
                ],
                [
                    1,
                    3,
                    4,
                    5,
                    8,
                    10,
                    11,
                    13,
                    14
                ]
            ]
        ],
        [
            [
                [],
                [
                    0,
                    1,
                    4,
                    5,
                    6,
                    10,
                    11
                ]
            ],
            [
                [
                    -13,
                    7,
                    14,
                    7,
                    9,
                    10
                ],
                [
                    0,
                    2,
                    4,
                    5,
                    9,
                    10,
                    12,
                    14
                ]
            ],
            [
                [
                    -10,
                    6
                ],
                [
                    5
                ]
            ],
            [
                [
                    -9,
                    14,
                    7,
                    11,
                    8,
                    -7,
                    4,
                    8,
                    -2
                ],
                [
                    1,
                    2,
                    4,
                    7,
                    8,
                    10,
                    13,
                    14
                ]
            ],
            [
                [
                    -6,
                    -9,
                    14,
                    -10,
                    9,
                    11,
                    -14,
                    -6,
                    3
                ],
                [
                    0,
                    1,
                    4,
                    6,
                    7,
                    8,
                    11,
                    13
                ]
            ],
            [
                [
                    -4,
                    -7,
                    12,
                    -8,
                    -9,
                    -8,
                    0,
                    14,
                    3,
                    13,
                    -4,
                    2,
                    -5
                ],
                [
                    4,
                    5,
                    6,
                    10,
                    12,
                    14
                ]
            ],
            [
                [
                    -2,
                    3,
                    -3,
                    -4,
                    -7,
                    -6,
                    10,
                    9,
                    -12,
                    -4,
                    -5,
                    4
                ],
                [
                    0,
                    1,
                    6,
                    9,
                    10,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    -1,
                    10
                ],
                [
                    1,
                    2,
                    3,
                    4,
                    6,
                    7,
                    8,
                    9,
                    10,
                    11,
                    12
                ]
            ],
            [
                [
                    5,
                    0,
                    -2,
                    -9,
                    -9,
                    2,
                    1,
                    10,
                    -10,
                    -14,
                    -8,
                    -10,
                    2,
                    -2
                ],
                [
                    1,
                    3,
                    4,
                    7,
                    8,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    9,
                    -8
                ],
                [
                    0,
                    5,
                    6,
                    9,
                    11,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    9,
                    2,
                    7,
                    8,
                    12,
                    11,
                    -2,
                    -9,
                    5,
                    -9,
                    -10,
                    3,
                    -14,
                    -3
                ],
                [
                    1,
                    2,
                    11,
                    12,
                    13
                ]
            ],
            [
                [
                    9,
                    8,
                    -12,
                    -11,
                    13,
                    -3,
                    -10,
                    -12,
                    -5,
                    4
                ],
                [
                    1,
                    2,
                    4,
                    7,
                    9,
                    12
                ]
            ],
            [
                [
                    13,
                    10,
                    12,
                    -8,
                    -7,
                    10,
                    4,
                    3,
                    13
                ],
                [
                    0,
                    2,
                    3,
                    4,
                    5,
                    8,
                    10,
                    11,
                    14
                ]
            ]
        ],
        [
            [
                [],
                [
                    2,
                    8
                ]
            ],
            [
                [
                    -14,
                    -7
                ],
                [
                    2,
                    4,
                    5,
                    6,
                    10,
                    14
                ]
            ],
            [
                [
                    -3,
                    -5,
                    -6,
                    -5,
                    9,
                    11,
                    -12
                ],
                [
                    0,
                    1,
                    5,
                    6,
                    7,
                    10,
                    11,
                    12,
                    14
                ]
            ],
            [
                [
                    8,
                    -2,
                    -5,
                    -9,
                    4,
                    10
                ],
                [
                    1,
                    2,
                    3,
                    4,
                    7,
                    8,
                    9,
                    10,
                    11,
                    12
                ]
            ],
            [
                [
                    14,
                    -8,
                    -3,
                    -8,
                    -8
                ],
                [
                    2,
                    4,
                    6,
                    10,
                    11
                ]
            ]
        ],
        [
            [
                [],
                [
                    0,
                    1,
                    6,
                    7,
                    8,
                    9,
                    10,
                    11,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    -9,
                    8,
                    -3,
                    9
                ],
                [
                    5
                ]
            ],
            [
                [
                    -5,
                    -2
                ],
                [
                    0,
                    1,
                    2,
                    6,
                    8,
                    9,
                    11,
                    12,
                    14
                ]
            ],
            [
                [
                    -5,
                    2,
                    -4,
                    13,
                    -14,
                    3,
                    -2,
                    -10,
                    -3,
                    -10,
                    -12,
                    13
                ],
                [
                    0,
                    9,
                    11,
                    12
                ]
            ],
            [
                [
                    -2,
                    -5,
                    13,
                    11,
                    -11,
                    -2,
                    4
                ],
                [
                    0,
                    3,
                    4,
                    5,
                    6,
                    8,
                    9,
                    11
                ]
            ],
            [
                [
                    0,
                    9
                ],
                [
                    0,
                    1,
                    2,
                    3,
                    8,
                    11,
                    12,
                    13
                ]
            ],
            [
                [
                    5,
                    -13
                ],
                [
                    1,
                    5,
                    6,
                    7
                ]
            ],
            [
                [
                    9,
                    1,
                    -6,
                    1,
                    6,
                    -9,
                    -8,
                    11,
                    5,
                    10,
                    9,
                    -13,
                    -13
                ],
                [
                    1,
                    2,
                    6,
                    7,
                    9,
                    11,
                    12,
                    13
                ]
            ]
        ],
        [
            [
                [
                    -12,
                    -6,
                    -9,
                    -14,
                    -8,
                    -11,
                    -8
                ],
                [
                    0,
                    2,
                    3,
                    5,
                    6,
                    7,
                    10,
                    11,
                    14
                ]
            ],
            [
                [
                    -6,
                    -7,
                    -8
                ],
                [
                    1,
                    2,
                    3,
                    4,
                    9,
                    10,
                    11,
                    12
                ]
            ]
        ],
        [
            [
                [
                    -12,
                    -12
                ],
                [
                    2,
                    4,
                    10,
                    12,
                    14
                ]
            ],
            [
                [
                    -8,
                    -8,
                    8,
                    -9,
                    -9,
                    -4,
                    8,
                    -5,
                    -6,
                    3,
                    -7
                ],
                [
                    0,
                    2,
                    13
                ]
            ]
        ],
        [
            [
                [],
                [
                    3,
                    8
                ]
            ],
            [
                [
                    -13,
                    -11,
                    -11,
                    -4,
                    -5,
                    -13,
                    -5,
                    3,
                    -9
                ],
                [
                    0,
                    3,
                    7,
                    10,
                    11,
                    12,
                    13
                ]
            ],
            [
                [
                    -12,
                    12,
                    -13,
                    -1
                ],
                [
                    4,
                    7,
                    12,
                    14
                ]
            ],
            [
                [
                    -10,
                    11,
                    -4,
                    -7,
                    -9,
                    -5,
                    8
                ],
                [
                    3,
                    5,
                    6,
                    7,
                    8,
                    10,
                    12,
                    13,
                    14
                ]
            ],
            [
                [
                    -8,
                    -10,
                    4,
                    1,
                    -12,
                    -14,
                    7,
                    -4,
                    2,
                    1
                ],
                [
                    1,
                    4,
                    6,
                    8,
                    13,
                    14
                ]
            ],
            [
                [
                    -3,
                    -14,
                    5,
                    9,
                    5,
                    8,
                    -7,
                    -8,
                    0,
                    -2
                ],
                [
                    5,
                    6,
                    9,
                    12
                ]
            ],
            [
                [
                    -3,
                    5,
                    13,
                    3,
                    14,
                    6
                ],
                [
                    0,
                    1,
                    2,
                    4,
                    5,
                    6,
                    7,
                    10,
                    13,
                    14
                ]
            ],
            [
                [
                    3,
                    -7,
                    -14,
                    -14,
                    -3,
                    4,
                    -6,
                    1,
                    3,
                    13
                ],
                [
                    3,
                    7,
                    12
                ]
            ],
            [
                [
                    7
                ],
                [
                    9,
                    10,
                    12
                ]
            ],
            [
                [
                    7,
                    -7,
                    -12
                ],
                [
                    1,
                    6,
                    7,
                    8,
                    9,
                    10,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    10,
                    -13,
                    -14,
                    -5,
                    -6,
                    -14,
                    -5,
                    1,
                    -14,
                    -9,
                    12,
                    -11
                ],
                [
                    3,
                    4,
                    7,
                    8,
                    9,
                    11,
                    14
                ]
            ],
            [
                [
                    10,
                    4,
                    10,
                    -4,
                    9,
                    13,
                    7
                ],
                [
                    1,
                    2,
                    4,
                    6,
                    7,
                    8,
                    9,
                    10,
                    11,
                    13,
                    14
                ]
            ],
            [
                [
                    12,
                    -6,
                    -13,
                    2,
                    12,
                    1,
                    1,
                    5
                ],
                [
                    1,
                    4,
                    5,
                    6,
                    7,
                    10,
                    13,
                    14
                ]
            ],
            [
                [
                    14,
                    -3,
                    1,
                    13,
                    -9,
                    11,
                    0,
                    7,
                    8,
                    7,
                    12,
                    12,
                    -2
                ],
                [
                    0,
                    2,
                    5,
                    8
                ]
            ]
        ]
    ],
    "seed": -941550428
}